541. Verification of Sequential and Concurrent Programs
Author: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
76
.
V47
B957
1997
542. Verifying Concurrent Processes Using Temporal Logic
Author: by Brent T. Hailpern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
543. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
544. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
545. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
546. Web Services and Formal Methods :
Author: edited by Maurice H. Beek, Niels Lohmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
547. Web reasoning and rule systems
Author: Markus Krötzsch, Umberto Straccia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
Classification :
TK5105
.
88815
.
R8
2012eb
548. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
549. Wissensbasierte Systeme.
Author: Wilfried Brauer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
550. neural networks, fuzzy logic, and genetic algorithms
Author: / s. rajasekaran & g.a. vijayalakshni pai
Library: Ilam University Central Library (Ilam)
Subject: Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Genetic algorithms
Classification :
TJ217
.
5
.
R2N4
2007
551. programs-as-Adapting proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
552. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
Author: edited by Wolfgang Bibel, Robert Kowalski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Mathematical Logic and Formal Languages
553. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
554. نظریه فازی مبانی و پیادهسازی
Author: / تالیف سهراب خانمحمدی، جواد جاسبی.,خانمحمدی
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق فازی,Fuzzy logic,هوش مصنوعی,Artificial intelligence,شبکههای عصبی (کامپیوتر),Neural networks (Computer science),a01,a01,a02,a02,a03,a03
Classification :
QA
۹
/
۶۴
/
خ
۲
ن
۶ ۱۳۹۶
